翻訳と辞書 Words near each other ・ Linear search ・ Linear search problem ・ Linear seismic inversion ・ Linear separability ・ Linear settlement ・ Linear space (geometry) ・ Linear span ・ Linear speedup theorem ・ Linear Sphere ・ Linear stability ・ Linear stage ・ Linear subspace ・ Linear sweep voltammetry ・ Linear syntax ・ Linear system ・ Linear system of divisors ・ Linear Tape File System ・ Linear Tape-Open ・ Linear Technology ・ Linear temporal logic ・ Linear temporal logic to Büchi automaton ・ Linear timecode ・ Linear topology ・ Linear transform model (MRI) ・ Linear transformation in rotating electrical machines ・ Linear transformer driver ・ Linear transport theory ・ Linear trend estimation ・ Linear Unit Grammar ・ Linear utility Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Linear system of divisors ： ウィキペディア英語版 Linear system of divisors In algebraic geometry, a linear system of divisors is an algebraic generalization of the geometric notion of a family of curves; the dimension of the linear system corresponds to the number of parameters of the family. These arose first in the form of a ''linear system'' of algebraic curves in the projective plane. It assumed a more general form, through gradual generalisation, so that one could speak of linear equivalence of divisors ''D'' on a general scheme or even a ringed space (X, OX).〔Grothendieck, Alexandre; Dieudonné, Jean. ''EGA IV'', 21.3.〕 A linear system of dimension 1, 2, or 3 is called a pencil, a net, or a web. ==Definition == Given the fundamental idea of a rational function on a general variety ''V'', or in other words of a function ''f'' in the function field of ''V'', divisors D and E are ''linearly equivalent'' if :$D\; =\; E\; +\; (f)\backslash$ where (''f'') denotes the divisor of zeroes and poles of the function ''f''. Note that if ''V'' has singular points, 'divisor' is inherently ambiguous (Cartier divisors, Weil divisors: see divisor (algebraic geometry)). The definition in that case is usually said with greater care (using invertible sheaves or holomorphic line bundles); see below. A complete linear system on ''V'' is defined as the set of all effective divisors linearly equivalent to some given divisor ''D''. It is denoted ''|D|''. Let ''L(D)'' be the line bundle associated to ''D''. In the case that ''V'' is a nonsingular projective variety the set ''|D|'' is in natural bijection with $(\backslash Gamma(V,L)\; \backslash setminus\; \backslash )/k^,$ 〔Hartshorne, R. 'Algebraic Geometry', proposition II.7.7, page 157〕 and is therefore a projective space. A linear system $\backslash mathfrak$ is then a projective subspace of a complete linear system, so it corresponds to a vector subspace ''W'' of $\backslash Gamma(V,L).$ The dimension of the linear system $\backslash mathfrak$ is its dimension as a projective space. Hence $\backslash dim\; \backslash mathfrak\; =\; \backslash dim\; W\; -\; 1$. Since a Cartier divisor class is an isomorphism class of a line bundle, linear systems can also be introduced by means of the line bundle or invertible sheaf language, without reference to divisors at all. In those terms, divisors ''D'' (Cartier divisors, to be precise) correspond to line bundles, and linear equivalence of two divisors means that the corresponding line bundles are isomorphic. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Linear system of divisors」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.